Optimal. Leaf size=215 \[ \frac {(e f+d g)^4 (d+e x)^3}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}+\frac {2 (e f-9 d g) (e f+d g)^3 (d+e x)^2}{15 d^2 e^5 \left (d^2-e^2 x^2\right )^{3/2}}+\frac {2 (e f+d g)^2 \left (e^2 f^2-8 d e f g+36 d^2 g^2\right ) (d+e x)}{15 d^3 e^5 \sqrt {d^2-e^2 x^2}}+\frac {g^4 \sqrt {d^2-e^2 x^2}}{e^5}-\frac {g^3 (4 e f+3 d g) \tan ^{-1}\left (\frac {e x}{\sqrt {d^2-e^2 x^2}}\right )}{e^5} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.41, antiderivative size = 215, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 31, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.129, Rules used = {1649, 655, 223,
209} \begin {gather*} -\frac {g^3 \text {ArcTan}\left (\frac {e x}{\sqrt {d^2-e^2 x^2}}\right ) (3 d g+4 e f)}{e^5}+\frac {2 (d+e x)^2 (e f-9 d g) (d g+e f)^3}{15 d^2 e^5 \left (d^2-e^2 x^2\right )^{3/2}}+\frac {(d+e x)^3 (d g+e f)^4}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}+\frac {g^4 \sqrt {d^2-e^2 x^2}}{e^5}+\frac {2 (d+e x) (d g+e f)^2 \left (36 d^2 g^2-8 d e f g+e^2 f^2\right )}{15 d^3 e^5 \sqrt {d^2-e^2 x^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 223
Rule 655
Rule 1649
Rubi steps
\begin {align*} \int \frac {(d+e x)^3 (f+g x)^4}{\left (d^2-e^2 x^2\right )^{7/2}} \, dx &=\frac {(e f+d g)^4 (d+e x)^3}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}-\frac {\int \frac {(d+e x)^2 \left (-\frac {2 e^4 f^4-12 d e^3 f^3 g-18 d^2 e^2 f^2 g^2-12 d^3 e f g^3-3 d^4 g^4}{e^4}+\frac {5 d g^2 \left (6 e^2 f^2+4 d e f g+d^2 g^2\right ) x}{e^3}+\frac {5 d g^3 (4 e f+d g) x^2}{e^2}+\frac {5 d g^4 x^3}{e}\right )}{\left (d^2-e^2 x^2\right )^{5/2}} \, dx}{5 d}\\ &=\frac {(e f+d g)^4 (d+e x)^3}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}+\frac {2 (e f-9 d g) (e f+d g)^3 (d+e x)^2}{15 d^2 e^5 \left (d^2-e^2 x^2\right )^{3/2}}+\frac {\int \frac {(d+e x) \left (\frac {2 e^4 f^4-12 d e^3 f^3 g+42 d^2 e^2 f^2 g^2+68 d^3 e f g^3+27 d^4 g^4}{e^4}+\frac {30 d^2 g^3 (2 e f+d g) x}{e^3}+\frac {15 d^2 g^4 x^2}{e^2}\right )}{\left (d^2-e^2 x^2\right )^{3/2}} \, dx}{15 d^2}\\ &=\frac {(e f+d g)^4 (d+e x)^3}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}+\frac {2 (e f-9 d g) (e f+d g)^3 (d+e x)^2}{15 d^2 e^5 \left (d^2-e^2 x^2\right )^{3/2}}+\frac {2 (e f+d g)^2 \left (e^2 f^2-8 d e f g+36 d^2 g^2\right ) (d+e x)}{15 d^3 e^5 \sqrt {d^2-e^2 x^2}}-\frac {\int \frac {\frac {15 d^3 g^3 (4 e f+3 d g)}{e^4}+\frac {15 d^3 g^4 x}{e^3}}{\sqrt {d^2-e^2 x^2}} \, dx}{15 d^3}\\ &=\frac {(e f+d g)^4 (d+e x)^3}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}+\frac {2 (e f-9 d g) (e f+d g)^3 (d+e x)^2}{15 d^2 e^5 \left (d^2-e^2 x^2\right )^{3/2}}+\frac {2 (e f+d g)^2 \left (e^2 f^2-8 d e f g+36 d^2 g^2\right ) (d+e x)}{15 d^3 e^5 \sqrt {d^2-e^2 x^2}}+\frac {g^4 \sqrt {d^2-e^2 x^2}}{e^5}-\frac {\left (g^3 (4 e f+3 d g)\right ) \int \frac {1}{\sqrt {d^2-e^2 x^2}} \, dx}{e^4}\\ &=\frac {(e f+d g)^4 (d+e x)^3}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}+\frac {2 (e f-9 d g) (e f+d g)^3 (d+e x)^2}{15 d^2 e^5 \left (d^2-e^2 x^2\right )^{3/2}}+\frac {2 (e f+d g)^2 \left (e^2 f^2-8 d e f g+36 d^2 g^2\right ) (d+e x)}{15 d^3 e^5 \sqrt {d^2-e^2 x^2}}+\frac {g^4 \sqrt {d^2-e^2 x^2}}{e^5}-\frac {\left (g^3 (4 e f+3 d g)\right ) \text {Subst}\left (\int \frac {1}{1+e^2 x^2} \, dx,x,\frac {x}{\sqrt {d^2-e^2 x^2}}\right )}{e^4}\\ &=\frac {(e f+d g)^4 (d+e x)^3}{5 d e^5 \left (d^2-e^2 x^2\right )^{5/2}}+\frac {2 (e f-9 d g) (e f+d g)^3 (d+e x)^2}{15 d^2 e^5 \left (d^2-e^2 x^2\right )^{3/2}}+\frac {2 (e f+d g)^2 \left (e^2 f^2-8 d e f g+36 d^2 g^2\right ) (d+e x)}{15 d^3 e^5 \sqrt {d^2-e^2 x^2}}+\frac {g^4 \sqrt {d^2-e^2 x^2}}{e^5}-\frac {g^3 (4 e f+3 d g) \tan ^{-1}\left (\frac {e x}{\sqrt {d^2-e^2 x^2}}\right )}{e^5}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 1.29, size = 240, normalized size = 1.12 \begin {gather*} \frac {\sqrt {d^2-e^2 x^2} \left (72 d^6 g^4+2 e^6 f^4 x^2+d^5 e g^3 (88 f-171 g x)-6 d e^5 f^3 x (f+2 g x)+3 d^4 e^2 g^2 \left (4 f^2-68 f g x+39 g^2 x^2\right )+d^2 e^4 f^2 \left (7 f^2+36 f g x+42 g^2 x^2\right )-d^3 e^3 g \left (12 f^3+36 f^2 g x-128 f g^2 x^2+15 g^3 x^3\right )\right )}{15 d^3 e^5 (d-e x)^3}+\frac {g^3 (4 e f+3 d g) \log \left (-\sqrt {-e^2} x+\sqrt {d^2-e^2 x^2}\right )}{e^4 \sqrt {-e^2}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(841\) vs.
\(2(199)=398\).
time = 0.11, size = 842, normalized size = 3.92 Too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 1107 vs.
\(2 (199) = 398\).
time = 0.55, size = 1107, normalized size = 5.15 \begin {gather*} -\frac {g^{4} x^{6} e}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {6 \, d^{2} g^{4} x^{4} e^{\left (-1\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} - \frac {8 \, d^{4} g^{4} x^{2} e^{\left (-3\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {16 \, d^{6} g^{4} e^{\left (-5\right )}}{5 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {4 \, d^{3} f^{3} g e^{\left (-2\right )}}{5 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {3 \, d^{2} f^{4} e^{\left (-1\right )}}{5 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} - \frac {1}{3} \, {\left (3 \, d g^{4} e^{2} + 4 \, f g^{3} e^{3}\right )} {\left (\frac {3 \, x^{2} e^{\left (-2\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {3}{2}}} - \frac {2 \, d^{2} e^{\left (-4\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {3}{2}}}\right )} x e^{\left (-2\right )} + \frac {d f^{4} x}{5 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {3 \, {\left (d^{2} g^{4} e + 4 \, d f g^{3} e^{2} + 2 \, f^{2} g^{2} e^{3}\right )} x^{4} e^{\left (-2\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} - \frac {4 \, {\left (d^{2} g^{4} e + 4 \, d f g^{3} e^{2} + 2 \, f^{2} g^{2} e^{3}\right )} d^{2} x^{2} e^{\left (-4\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {8 \, {\left (d^{2} g^{4} e + 4 \, d f g^{3} e^{2} + 2 \, f^{2} g^{2} e^{3}\right )} d^{4} e^{\left (-6\right )}}{5 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {4 \, {\left (3 \, d g^{4} e^{2} + 4 \, f g^{3} e^{3}\right )} d^{2} x e^{\left (-6\right )}}{15 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {3}{2}}} + \frac {1}{15} \, {\left (3 \, d g^{4} e^{2} + 4 \, f g^{3} e^{3}\right )} {\left (\frac {15 \, x^{4} e^{\left (-2\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} - \frac {20 \, d^{2} x^{2} e^{\left (-4\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {8 \, d^{4} e^{\left (-6\right )}}{{\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}}\right )} x - {\left (3 \, d g^{4} e^{2} + 4 \, f g^{3} e^{3}\right )} \arcsin \left (\frac {x e}{d}\right ) e^{\left (-7\right )} + \frac {4 \, f^{4} x}{15 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {3}{2}} d} + \frac {{\left (d^{3} g^{4} + 12 \, d^{2} f g^{3} e + 18 \, d f^{2} g^{2} e^{2} + 4 \, f^{3} g e^{3}\right )} x^{3} e^{\left (-2\right )}}{2 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} - \frac {3 \, {\left (d^{3} g^{4} + 12 \, d^{2} f g^{3} e + 18 \, d f^{2} g^{2} e^{2} + 4 \, f^{3} g e^{3}\right )} d^{2} x e^{\left (-4\right )}}{10 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} - \frac {7 \, {\left (3 \, d g^{4} e^{2} + 4 \, f g^{3} e^{3}\right )} x e^{\left (-6\right )}}{15 \, \sqrt {-x^{2} e^{2} + d^{2}}} + \frac {8 \, f^{4} x}{15 \, \sqrt {-x^{2} e^{2} + d^{2}} d^{3}} + \frac {{\left (4 \, d^{3} f g^{3} + 18 \, d^{2} f^{2} g^{2} e + 12 \, d f^{3} g e^{2} + f^{4} e^{3}\right )} x^{2} e^{\left (-2\right )}}{3 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} - \frac {2 \, {\left (4 \, d^{3} f g^{3} + 18 \, d^{2} f^{2} g^{2} e + 12 \, d f^{3} g e^{2} + f^{4} e^{3}\right )} d^{2} e^{\left (-4\right )}}{15 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {{\left (d^{3} g^{4} + 12 \, d^{2} f g^{3} e + 18 \, d f^{2} g^{2} e^{2} + 4 \, f^{3} g e^{3}\right )} x e^{\left (-4\right )}}{10 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {3}{2}}} + \frac {3 \, {\left (2 \, d^{3} f^{2} g^{2} + 4 \, d^{2} f^{3} g e + d f^{4} e^{2}\right )} x e^{\left (-2\right )}}{5 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {5}{2}}} + \frac {{\left (d^{3} g^{4} + 12 \, d^{2} f g^{3} e + 18 \, d f^{2} g^{2} e^{2} + 4 \, f^{3} g e^{3}\right )} x e^{\left (-4\right )}}{5 \, \sqrt {-x^{2} e^{2} + d^{2}} d^{2}} - \frac {{\left (2 \, d^{3} f^{2} g^{2} + 4 \, d^{2} f^{3} g e + d f^{4} e^{2}\right )} x e^{\left (-2\right )}}{5 \, {\left (-x^{2} e^{2} + d^{2}\right )}^{\frac {3}{2}} d^{2}} - \frac {2 \, {\left (2 \, d^{3} f^{2} g^{2} + 4 \, d^{2} f^{3} g e + d f^{4} e^{2}\right )} x e^{\left (-2\right )}}{5 \, \sqrt {-x^{2} e^{2} + d^{2}} d^{4}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 603 vs.
\(2 (199) = 398\).
time = 2.65, size = 603, normalized size = 2.80 \begin {gather*} -\frac {72 \, d^{7} g^{4} - 7 \, f^{4} x^{3} e^{7} + 30 \, {\left (3 \, d^{7} g^{4} - 4 \, d^{3} f g^{3} x^{3} e^{4} - 3 \, {\left (d^{4} g^{4} x^{3} - 4 \, d^{4} f g^{3} x^{2}\right )} e^{3} + 3 \, {\left (3 \, d^{5} g^{4} x^{2} - 4 \, d^{5} f g^{3} x\right )} e^{2} - {\left (9 \, d^{6} g^{4} x - 4 \, d^{6} f g^{3}\right )} e\right )} \arctan \left (-\frac {{\left (d - \sqrt {-x^{2} e^{2} + d^{2}}\right )} e^{\left (-1\right )}}{x}\right ) + 3 \, {\left (4 \, d f^{3} g x^{3} + 7 \, d f^{4} x^{2}\right )} e^{6} - 3 \, {\left (4 \, d^{2} f^{2} g^{2} x^{3} + 12 \, d^{2} f^{3} g x^{2} + 7 \, d^{2} f^{4} x\right )} e^{5} - {\left (88 \, d^{3} f g^{3} x^{3} - 36 \, d^{3} f^{2} g^{2} x^{2} - 36 \, d^{3} f^{3} g x - 7 \, d^{3} f^{4}\right )} e^{4} - 12 \, {\left (6 \, d^{4} g^{4} x^{3} - 22 \, d^{4} f g^{3} x^{2} + 3 \, d^{4} f^{2} g^{2} x + d^{4} f^{3} g\right )} e^{3} + 12 \, {\left (18 \, d^{5} g^{4} x^{2} - 22 \, d^{5} f g^{3} x + d^{5} f^{2} g^{2}\right )} e^{2} - 8 \, {\left (27 \, d^{6} g^{4} x - 11 \, d^{6} f g^{3}\right )} e + {\left (72 \, d^{6} g^{4} + 2 \, f^{4} x^{2} e^{6} - 6 \, {\left (2 \, d f^{3} g x^{2} + d f^{4} x\right )} e^{5} + {\left (42 \, d^{2} f^{2} g^{2} x^{2} + 36 \, d^{2} f^{3} g x + 7 \, d^{2} f^{4}\right )} e^{4} - {\left (15 \, d^{3} g^{4} x^{3} - 128 \, d^{3} f g^{3} x^{2} + 36 \, d^{3} f^{2} g^{2} x + 12 \, d^{3} f^{3} g\right )} e^{3} + 3 \, {\left (39 \, d^{4} g^{4} x^{2} - 68 \, d^{4} f g^{3} x + 4 \, d^{4} f^{2} g^{2}\right )} e^{2} - {\left (171 \, d^{5} g^{4} x - 88 \, d^{5} f g^{3}\right )} e\right )} \sqrt {-x^{2} e^{2} + d^{2}}}{15 \, {\left (d^{3} x^{3} e^{8} - 3 \, d^{4} x^{2} e^{7} + 3 \, d^{5} x e^{6} - d^{6} e^{5}\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (d + e x\right )^{3} \left (f + g x\right )^{4}}{\left (- \left (- d + e x\right ) \left (d + e x\right )\right )^{\frac {7}{2}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 729 vs.
\(2 (199) = 398\).
time = 2.17, size = 729, normalized size = 3.39 \begin {gather*} \sqrt {-x^{2} e^{2} + d^{2}} g^{4} e^{\left (-5\right )} - {\left (3 \, d g^{4} + 4 \, f g^{3} e\right )} \arcsin \left (\frac {x e}{d}\right ) e^{\left (-5\right )} \mathrm {sgn}\left (d\right ) - \frac {2 \, {\left (\frac {240 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )} d^{4} g^{4} e^{\left (-2\right )}}{x} - \frac {360 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{2} d^{4} g^{4} e^{\left (-4\right )}}{x^{2}} + \frac {210 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{3} d^{4} g^{4} e^{\left (-6\right )}}{x^{3}} - \frac {45 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{4} d^{4} g^{4} e^{\left (-8\right )}}{x^{4}} - 57 \, d^{4} g^{4} - 88 \, d^{3} f g^{3} e + \frac {380 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )} d^{3} f g^{3} e^{\left (-1\right )}}{x} - \frac {580 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{2} d^{3} f g^{3} e^{\left (-3\right )}}{x^{2}} + \frac {300 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{3} d^{3} f g^{3} e^{\left (-5\right )}}{x^{3}} - \frac {60 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{4} d^{3} f g^{3} e^{\left (-7\right )}}{x^{4}} - 12 \, d^{2} f^{2} g^{2} e^{2} - \frac {120 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{2} d^{2} f^{2} g^{2} e^{\left (-2\right )}}{x^{2}} + \frac {60 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )} d^{2} f^{2} g^{2}}{x} + 12 \, d f^{3} g e^{3} - \frac {60 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )} d f^{3} g e}{x} + \frac {60 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{2} d f^{3} g e^{\left (-1\right )}}{x^{2}} - \frac {60 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{3} d f^{3} g e^{\left (-3\right )}}{x^{3}} - 7 \, f^{4} e^{4} + \frac {20 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )} f^{4} e^{2}}{x} + \frac {30 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{3} f^{4} e^{\left (-2\right )}}{x^{3}} - \frac {15 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{4} f^{4} e^{\left (-4\right )}}{x^{4}} - \frac {40 \, {\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )}^{2} f^{4}}{x^{2}}\right )} e^{\left (-5\right )}}{15 \, d^{3} {\left (\frac {{\left (d e + \sqrt {-x^{2} e^{2} + d^{2}} e\right )} e^{\left (-2\right )}}{x} - 1\right )}^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (f+g\,x\right )}^4\,{\left (d+e\,x\right )}^3}{{\left (d^2-e^2\,x^2\right )}^{7/2}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________